41. Computer Aided Verification :
Author: edited by Rajeev Alur, Thomas A. Henzinger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
42. Computer Architecture :
Author: edited by Guy G. Boulaye, Douglas W. Lewin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
43. Computer aided systems theory--EUROCAST '93 :
Author: F. Pichler, R. Moreno Díaz, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-aided design, Congresses.,Computer-aided engineering, Congresses.
Classification :
TA345
.
I62
1993
44. Conceptual modeling of information systems /
Author: Antoni Olivé
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Database design.,System design.
45. Concise guide to software engineering :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering.,Software engineering.
Classification :
QA76
.
758
.
O66
2017
46. Critical Issues in User Interface Systems Engineering
Author: edited by David Benyon, Philippe Palanque.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer system performance.,Software engineering.
Classification :
QA76
.
9
.
U83
E358
1996
47. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
48. Databases and Information Systems :
Author: edited by Janis Barzdins, Albertas Caplinskas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science),Software engineering.
49. Dependable Computing for Critical Applications 2
Author: edited by John F. Meyer, Richard D. Schlichting.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
Classification :
QA76
.
9
.
F38
E358
1992
50. ESPRIT '90 :
Author: Commission of the European Communities. Directorate-General for Telecommunications, Information Industries, and Innovation.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer science.
51. Engineering Secure Software and Systems :
Author: edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
52. Engineering trustworthy software systems :
Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
758
53. Engineering trustworthy software systems :
Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer security.,Computer software.,Software engineering.
Classification :
QA76
.
758
54. Formal Engineering for Industrial Software Development :
Author: by Shaoying Liu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
D47
B974
2004
55. Formal Methods and Software Development :
Author: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
56. Formal methods for dynamical systems
Author: Marco Bernardo ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,System design, Congresses
Classification :
QA76
.
9
.
F67
.
I58
2013
57. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
58. Formal methods for software architectures :
Author: Marco Bernardo, Paola Inverardi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
59. Formal methods for software architectures :
Author: Marco Bernardo, Paola Inverardi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
Classification :
QA76
.
9
.
F67
M373
2003
60. Formal modeling :
Author: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
Classification :
QA76
.
9
.
F67
F67
2011
